موضعا پئانو بودن مدلهای کریپکی خاص برای حساب شهودگرایانه

حساب هتینگ ha صورت شهودگرایانه حساب پئانو pa است که با حذف اصل طرد شق ثالث pem از آن حاصل می شود. در این پایان نامه توصیفی از نتایج wehmeier درباره ارضاء (زیرنظریه های) pa در جهانهای مدلهای کریپکی ha آورده می شود. برای مثال، هر قضیه ii2 از pa (که در ha نیز برهان پذیر خواهد بود) در هر مدل کریپکی ha موضعا صادق است . به علاوه، مدلهای کریپکی توسیع انتهایی برای ha قالب - 1 گردایه را نیز (که در ha برهان پذیر است) موضعا ارضا می نماید. نشان داده می شود که ha قالبهای pem و lnp محدود شده به فرمولهای را ثابت می نماید. نسبت به کلاس مدلهای کریپکی -pa نرمال، ha نظریه ای کامل اما غیر درست است . با استفاده از روش هرس ، موضعا پئانو بودن مدلهای کریپکی از عمق متناهی و یا روی قاب w یا یکی از انواع ترتیبی خاص دیگر ثابت می شود. اصل مارکوف به صورت مختصر مطرح و هم ارزهایی برای آن در مدلهای کریپکی خطی آورده می شود. نشان داده می شود که جهانهای غیر پئانو در مدلهای کریپکی ha (در صورت وجود) به این زعم زائد هستند که با حذف (تعدادی متناهی و در صورت به طور وارون خوش بنیاد بودن قاب همه) آنها، نظریه (شهودگرایانه) مدل تغییر نمی یابد.